Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach
نویسنده
چکیده
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts. By combining a dataflow-oriented language with one focussing on behavior, we get a flexible notation which may be used for different purposes, interaction styles and platforms. DiaMODL may be used as a pure abstract notation for modelling dialog or more directly for modelling concrete interaction objects, pointing towards hybrid tools for combining abstract modelling with concrete GUI-building.
منابع مشابه
Object - Oriented Inheritance Ofstatecharts
This paper discusses how object-oriented inheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed successful systems, and by promoting the iterative and continuous models' reenement advocated by the ...
متن کاملOn Mobility Extensions of UML Statecharts. A Pragmatic Approach
In this paper an extension of a behavioural subset of UML Statecharts for modeling mobility issues is proposed. In this extension we relax the unique association between each Statechart in a collection of Statecharts modeling a system and its input-queue and we allow the use of (queue) name variables in communication actions. The resulting communication paradigm is much more flexible than the s...
متن کاملDescribing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
In this paper UML statechart diagrams are used as an example of a generic approach to integrating a visual language in a heterogeneous modelling and simulation environment. A system represented in a visual language is syntactically defined as an attributed graph, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the graph. The language semantics...
متن کاملA Formalization of Uml Statecharts for Real-time Software Modeling
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to learn and use, UML is very popular, unlike formal methods. However, formal models provide developers with several benefits: they can be used for activities –like property verification, simulation, test case generation,...
متن کاملPLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering ï¿1⁄2 Aspects on Behavioral Semantics and Model-Checking
This paper presents the core concepts for PLC-statecharts an adaptation of UML-statecharts which can be used as a visual programming language for PLCs. They combine the advantages of UMLstatecharts with a strict formal basis and can be transparently used in the context of IEC 61131-3 (3 Edition). The defined formal behavioral semantics sets the basis for an automatic transformation of PLC-state...
متن کامل